Necessities and Necessary Truths. Proof-Theoretically.
نویسندگان
چکیده
منابع مشابه
Conceptual Truths, Strong Possibilities and Our Knowledge of Metaphysical Necessities
I argue that there is a reliable epistemic route from knowledge of conceptual truths to knowledge of metaphysical necessities. In a first step, I argue that we possess knowledge of conceptual truths since we know what (many of) our terms apply to. I bolster this line of thought with a rebuttal of Williamson’s recent argument against epistemic analyticity. In a second step, I argue that our know...
متن کاملNecessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions∗
In philosophical logic necessity is usually conceived as a sentential operator rather than a predicate. An intensional sentential operator does not allow one to express quantified statements such as ‘There are necessary a posteriori propositions’ or ‘All laws of physics are necessary’ in first-order logic in a straightforward way, while they are readily formalised if necessity is formalised by ...
متن کاملNecessary Truth and Proof
What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett’...
متن کاملManaging the President’s Program: Necessary and Contingent Truths
University Press. All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, except for reading and browsing via the World Wide Web. Users are not permitted to mount this file on any network servers.
متن کاملLogical and Analytic Truths That Are Not Necessary∗
The notions of logical truth, analytic truth, and necessary truth are extremely important in philosophy. A logically true sentence remains true no matter what the interpretation of the nonlogical constants. An analytically true sentence is true in virtue of the meanings of its words. Necessarily true sentences are true in all possible worlds. The concepts involved in these definitions are centr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ergo, an Open Access Journal of Philosophy
سال: 2015
ISSN: 2330-4014
DOI: 10.3998/ergo.12405314.0002.010